﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace OverSATbLib
{
    public class ClauseHasTooManyVariablesException : System.Exception
    {
        public IEnumerable<int> CnfStyleVariables { get; private set; }

        public ClauseHasTooManyVariablesException(IEnumerable<int> variables)
        {
            CnfStyleVariables = variables;
        }
    }

    public class ClauseHasDuplicateVariablesExeption : System.Exception
    {
        public IEnumerable<int> CnfStyleVariables { get; private set; }

        public ClauseHasDuplicateVariablesExeption(IEnumerable<int> variables)
        {
            CnfStyleVariables = variables;
        }
    }
}
